Metadata Search Funding Data Link References Status API Help
Facet browsing currently unavailable
Page 1 of 2176 results
Sort by: relevance publication year

Copulas and quasi-copulas: An introduction to their properties and applications

BOOK CHAPTER published 2005 in Logical, Algebraic, Analytic and Probabilistic Aspects of Triangular Norms

Authors: Roger B. Nelsen

https://doi.org/10.1016/b978-044451814-9/50014-8 Actions

An Introduction of Aerodynamic Shape Optimization Platform for Compressor Blade

PROCEEDINGS ARTICLE published 13 June 2016 in Volume 2C: Turbomachinery

Authors: Duan Yanhui | Wu Wenhua | Fan Zhaolin | Chen Ti

https://doi.org/10.1115/gt2016-56861 Actions

Introduction of Circumferentially Non-Uniform Variable Guide Vanes in the Inlet Plenum of a Centrifugal Compressor for Minimum Losses and Flow Distortion

PROCEEDINGS ARTICLE published 15 June 2015 in Volume 2C: Turbomachinery

Authors: Ismail Sezal | Matthias Lang | Christian Aalburg | Nan Chen | Wolfgang Erhard | Alberto Scotti Del Greco | Libero Tapinassi | Rajesh Kumar V. Gadamsetty

https://doi.org/10.1115/gt2015-43467 Actions

Introduction

BOOK CHAPTER published 26 September 1991 in Logical Frameworks

https://doi.org/10.1017/cbo9780511569807.002 Actions

An Introduction to Program and Thread Algebra

BOOK CHAPTER published 2006 in Logical Approaches to Computational Barriers

Authors: Alban Ponse | Mark B. van der Zwaag

https://doi.org/10.1007/11780342_46 Actions

Introduction

BOOK CHAPTER published 1971 in Logical Writings

Authors: Jacques Herbrand

https://doi.org/10.1007/978-94-010-3072-4_1 Actions

Introduction

BOOK CHAPTER published 24 November 2005 in Logical Pluralism

Authors: JC Beall

https://doi.org/10.1093/acprof:oso/9780199288403.003.0001 Actions

Introduction

BOOK CHAPTER published 2006 in THE LIMITS OF LOGICAL EMPIRICISM

Authors: SANFORD SHIEH

https://doi.org/10.1007/1-4020-4299-x_1 Actions

Introduction

BOOK CHAPTER published 20 July 2003 in Logical Empiricism

Authors: PAOLO PARRINI | WESLEY C. SALMON

https://doi.org/10.2307/j.ctvt6rjh9.4 Actions

JOURNAL ISSUE published 2006 in Logical Methods in Computer Science

https://doi.org/10.2168/lmcs-2(3)2006 Actions

JOURNAL ISSUE published 2006 in Logical Methods in Computer Science

Editors: Shankar Natarajan

https://doi.org/10.2168/lmcs-ijcar:2006 Actions

JOURNAL ISSUE published 2006 in Logical Methods in Computer Science

https://doi.org/10.2168/lmcs-2(5)2006 Actions

JOURNAL ISSUE published 2006 in Logical Methods in Computer Science

https://doi.org/10.2168/lmcs-2(2)2006 Actions

JOURNAL ISSUE published 2006 in Logical Methods in Computer Science

https://doi.org/10.2168/lmcs-2(4)2006 Actions

JOURNAL ISSUE published 2006 in Logical Methods in Computer Science

https://doi.org/10.2168/lmcs-2(1)2006 Actions

Tarski's influence on computer science

JOURNAL ARTICLE published 27 September 2006 in Logical Methods in Computer Science

Authors: Solomon Feferman

https://doi.org/10.2168/lmcs-2(3:6)2006 Actions

Introduction

BOOK CHAPTER published 1998 in Type-Logical Semantics

https://doi.org/10.7551/mitpress/6945.003.0003 Actions

INTRODUCTION

BOOK CHAPTER published 28 July 1999 in Reconsidering Logical Positivism

https://doi.org/10.1017/cbo9781139173193.003 Actions

JOURNAL ISSUE published 2006 in Logical Methods in Computer Science

Editors: Zoltan Esik | R. Ramanujam

https://doi.org/10.2168/lmcs-csl:2006 Actions

JOURNAL ISSUE published 2006 in Logical Methods in Computer Science

Editors: Michele Bugliesi | Vladimiro Sassone

https://doi.org/10.2168/lmcs-icalp:2006 Actions
Feedback: support@crossref.org